// RAP [rh] Keys completely disabled as not implemented in RWT
///*******************************************************************************
// * Copyright (c) 2000, 2006 IBM Corporation and others.
// * All rights reserved. This program and the accompanying materials
// * are made available under the terms of the Eclipse Public License v1.0
// * which accompanies this distribution, and is available at
// * http://www.eclipse.org/legal/epl-v10.html
// *
// * Contributors:
// *     IBM Corporation - initial API and implementation
// *******************************************************************************/
//
//package org.eclipse.ui.internal.keys;
//
//import java.util.ArrayList;
//import java.util.Collections;
//import java.util.Iterator;
//import java.util.List;
//import java.util.Set;
//import java.util.SortedSet;
//import java.util.TreeSet;
//
//import org.eclipse.ui.keys.KeySequence;
//import org.eclipse.ui.keys.KeyStroke;
//import org.eclipse.ui.keys.ModifierKey;
//import org.eclipse.ui.keys.NaturalKey;
//
///**
// * A key formatter providing a special compact format for displaying key
// * bindings.
// * 
// * @since 3.0
// */
//public class CompactKeyFormatter extends NativeKeyFormatter {
//
//    /*
//     * (non-Javadoc)
//     * 
//     * @see org.eclipse.ui.keys.KeyFormatter#format(org.eclipse.ui.keys.KeySequence)
//     */
//    public String format(KeySequence keySequence) {
//        StringBuffer stringBuffer = new StringBuffer();
//
//        List keyStrokes = keySequence.getKeyStrokes();
//        KeyStroke[] keyStrokeArray = (KeyStroke[]) keyStrokes
//                .toArray(new KeyStroke[keyStrokes.size()]);
//        Set previousModifierKeys = Collections.EMPTY_SET;
//        List naturalKeys = new ArrayList();
//        for (int i = 0; i < keyStrokeArray.length; i++) {
//            KeyStroke keyStroke = keyStrokeArray[i];
//            Set currentModifierKeys = keyStroke.getModifierKeys();
//
//            if (!previousModifierKeys.equals(currentModifierKeys)) {
//                // End the old sequence fragment.
//                if (i > 0) {
//                    stringBuffer.append(formatKeyStrokes(previousModifierKeys,
//                            naturalKeys));
//                    stringBuffer.append(getKeyStrokeDelimiter());
//                }
//
//                // Start a new one.
//                previousModifierKeys = currentModifierKeys;
//                naturalKeys.clear();
//
//            }
//
//            naturalKeys.add(keyStroke.getNaturalKey());
//        }
//
//        stringBuffer
//                .append(formatKeyStrokes(previousModifierKeys, naturalKeys));
//
//        return stringBuffer.toString();
//    }
//
//    /*
//     * (non-Javadoc)
//     * 
//     * @see org.eclipse.ui.keys.KeyFormatter#formatKeyStroke(org.eclipse.ui.keys.KeyStroke)
//     */
//    public String formatKeyStrokes(Set modifierKeys, List naturalKeys) {
//        StringBuffer stringBuffer = new StringBuffer();
//        String keyDelimiter = getKeyDelimiter();
//
//        // Format the modifier keys, in sorted order.
//        SortedSet sortedModifierKeys = new TreeSet(getModifierKeyComparator());
//        sortedModifierKeys.addAll(modifierKeys);
//        Iterator sortedModifierKeyItr = sortedModifierKeys.iterator();
//        while (sortedModifierKeyItr.hasNext()) {
//            stringBuffer.append(format((ModifierKey) sortedModifierKeyItr
//                    .next()));
//            stringBuffer.append(keyDelimiter);
//        }
//
//        // Format the natural key, if any.
//        Iterator naturalKeyItr = naturalKeys.iterator();
//        while (naturalKeyItr.hasNext()) {
//            Object naturalKey = naturalKeyItr.next();
//            if (naturalKey instanceof NaturalKey) {
//                stringBuffer.append(format((NaturalKey) naturalKey));
//                if (naturalKeyItr.hasNext()) {
//                    stringBuffer.append(keyDelimiter);
//                }
//            }
//        }
//
//        return stringBuffer.toString();
//
//    }
//}
